xen/arm: get the number of cpus from device tree
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Mon, 19 Nov 2012 12:59:46 +0000 (12:59 +0000)
committerStefano Stabellini <stefano.stabellini@eu.citrix.com>
Mon, 19 Nov 2012 12:59:46 +0000 (12:59 +0000)
commit2ac19a6b381c9a9cd57afc107af95761bbddb5e0
tree8d77dcf094bf9fee96fe09d6737040fc38ce1a89
parenta8c81103334f89bf3bfc051201e4b5717a014d4d
xen/arm: get the number of cpus from device tree

The system might have fewer cpus than the GIC supports.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/gic.c
xen/arch/arm/gic.h
xen/arch/arm/setup.c
xen/arch/arm/smpboot.c
xen/common/device_tree.c
xen/include/asm-arm/smp.h